An Embedded Language Framework for Hardware Compilation
نویسندگان
چکیده
Various languages have been proposed to describe synchronous hardware at an abstract, yet synthesisable level. We propose a uniform framework within which such languages can be developed, and combined together for simulation, synthesis, and verification. We do this by embedding the languages in Lava — a hardware description language (HDL), itself embedded in the functional programming language Haskell. The approach allows us to easily experiment with new formal languages and language features, and also provides easy access to formal verification tools aiding program verification.
منابع مشابه
Profiling, Compilation, and HDL Generation within the hArtes Project
The hArtes project addresses optimal and rapid design of embedded systems from high-level descriptions, targeting a combination of embedded processors, digital signal processing, and reconfigurable hardware. In this paper, we present three tools from the hArtes toolchain, namely profiling, compilation, and HDL generation tools, that facilitate the HW/SW partitioning, co-design, co-verification,...
متن کاملProjectQ: An Open Source Software Framework for Quantum Computing
We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance simulator with emulation capabilities, and compiler plug-ins for circuit drawing and resource estimation. We introduce our Python-embedded domain-specific language, present the features, and provide exampl...
متن کاملCUDA-level Performance with Python-level Productivity for Gaussian Mixture Model Applications
Typically, scientists with computational needs prefer to use high-level languages such as Python or MATLAB; however, large computationally-intensive problems must eventually be recoded in a low level language such as C or Fortran by expert programmers in order to achieve sufficient performance. In addition, multiple strategies may exist for mapping a problem onto parallel hardware; unless the h...
متن کاملControlling a complete hardware synthesis toolchain with LARA aspects
The synthesis and mapping of applications to configurable embedded systems is a notoriously complex process. Design-flows typically include tools that have a wide range of parameters which interact in very unpredictable ways, thus creating a large and complex design space. When exploring this space, designers must manage the interfaces between different tools and apply, often manually, a sequen...
متن کاملResearch Proposal : Michael O ’ Boyle
This project aims to develop a new framework which enables compilers to adapt with and exploit the exponential growth in hardware performance. This is achieved by systematically describing the program optimisation space and by developing new approaches to explore this space in a manner independent of application or underlying architecture. Furthermore, by transcending the distinction between co...
متن کامل